Model-based testing - PDFSEARCH.IO - Document Search Engine

Model-based testing
Results: 198

#	Item
11	A Toolchain for Model-Based Design and Testing of Access Control Systems Said Daoudagh1 , Donia El Kateb2 , Francesca Lonetti1 , Eda Marchetti1 and Tejeddine Mouelhi3 1 Istituto di Scienza e Tecnologie dell’Informazio Add to Reading List Source URL: www.itrust.lu Language: English - Date: 2015-03-09 10:06:50 Computer security Security Access control Computer access control XACML PERMIS Identity management Role-based access control Authorization Model-driven security PDP Toolchain
12	Making Model-Driven Verification Practical and Scalable: Experiences and Lessons Learned Lionel Briand IEEE Fellow, FNR PEARL Chair Interdisciplinary Centre for ICT Security, Reliability, and Trust (SnT) Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:11:07 Engineering Software engineering Unified Modeling Language Software testing Software Software quality Systems engineering Pharmaceutical industry Verification and validation Model-based testing Profile Simulink
13	A DFT-based Robotic Scene Representation Architecture Stephan Zibner Outline ● Add to Reading List Source URL: roboticsschool.ini.rub.de Language: English - Date: 2013-10-09 11:30:17 Cognitive science Design for X Design for testing Electronic design automation Scenario Robotics Cognition Model
14	Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter Arie van Deursen Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Software Embedded system Unit testing Formal verification Interrupt Actor model Operating system Component-based software engineering C Real-time operating system
15	Allometric Scaling and Resource Limitations Model of Tree Heights: Part 2. Site Based Testing of the Model. Remote Sens. 2013, 5, 202–223 Add to Reading List Source URL: sites.bu.edu Language: English - Date: 2013-11-27 17:11:26 Nature Biology Academia FluxNet ICESat Lidar Allometry Glas Digital elevation model Biomass
16	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D27 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-18 04:24:30 Software engineering Unified Modeling Language Computing Engineering Rodin tool Object Process Methodology Metamodeling UML tool Model-based testing Cretan lyra Diagram Profile
17	Allometric Scaling and Resource Limitations Model of Tree Heights: Part 2. Site Based Testing of the Model. Remote Sens. 2013, 5, 202–223 Add to Reading List Source URL: sites.bu.edu Language: English - Date: 2013-09-16 10:33:35 Nature Biology Spacecraft FluxNet ICESat Lidar Allometry Glas Digital elevation model Biomass
18	SAMModel-Based Testing: an Approach with SDL/RTDS and DIVERSITY {julien.deltour,emmanuel.gaudin} Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:28:55 Software testing Software engineering TTCN-3 Model-based testing TTCN Scientific modelling Model checking Simulation Test automation PragmaDev Studio
19	A SCIENCE-BASED CASE FOR LARGE-SCALE SIMULATION Volume 2 Office of Science U.S. Department of Energy Add to Reading List Source URL: wgropp.cs.illinois.edu Language: English - Date: 2006-07-27 16:56:44 Scientific modeling Computational science Science Alternatives to animal testing Computer simulation Virtual reality Simulation Modeling and simulation Scientific modelling Electromagnetism Computer science Agent-based model
20	IEEE TRANSACTIONS ON COMPUTERS, MANUSCRIPT ID 1 Automated Model-Based Testing of RoleBased Access Control Using Predicate/Transition Nets Add to Reading List Source URL: www.itrust.lu Language: English - Date: 2015-05-05 11:12:03 Computer security Computer access control Access control Role-based access control Data security NIST RBAC model Role hierarchy Petri net PERMIS XACML Model-based testing Reliability engineering